ProFun - A Language for Executable Specifications
نویسندگان
چکیده
We present a new programming language ProFun which is aimed for the speciication and prototype implementation of reactive systems. ProFun combines the paradigms of concurrent and functional programming. A formal operational semantics is developed as a basis for veriication techniques. We have implemented a ProFun-compiler which uses C++ as its target language.
منابع مشابه
Making specifications executable - Using IPTES Meta-IV
This article discusses the extra effort required to make specifications executable. With an origin in essential (but in general non-executable) specification techniques and specification language constructs the limitations of writing specifications in an executable language are discussed. The (executable) example specifications are written in IPTES Meta-IV which is a subset of BSI/VDM-SL.
متن کاملHildesheimer Informatik - Berichte Universität Hildesheim
We present a new programming language ProFun which is aimed for the speciication and prototype implementation of reactive systems. Pro-Fun combines the paradigms of concurrent and functional programming. A formal operational semantics is developed as a basis for veriication techniques. We have implemented a ProFun-compiler which uses C++ as its target language.
متن کاملFrom Relational Specifications to Logic Programs
This paper presents a compiler from expressive, relational specifications to logic programs. Specifically, the compiler translates the Imperative Alloy specification language to Prolog. Imperative Alloy is a declarative, relational specification language based on first-order logic and extended with imperative constructs; Alloy specifications are traditionally not executable. In spite of this th...
متن کاملAttempto - From Specifications in Controlled Natural Language towards Executable Specifications
Deriving formal specifications from informal requirements is difficult since one has to take into account the disparate conceptual worlds of the application domain and of software development. To bridge the conceptual gap we propose controlled natural language as a textual view on formal specifications in logic. The specification language Attempto Controlled English (ACE) is a subset of natural...
متن کاملAn Eclipse-based Integrated Environment for Developing Executable Structural Operational Semantics Specifications
The Structural Operational Semantics Development Tooling (SOSDT) Eclipse Plugin integrates the Relational Meta-Language (RML) compiler and debugger with the Eclipse Integrated Development Environment Framework. SOSDT, together with the RML compiler and debugger, provides an environment for developing and maintaining executable Structural Operational Semantics specifications, including the Natur...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1996